Differentiating Contract Killers: A Narrative-Based Approach
نویسندگان
چکیده
منابع مشابه
Contract-Based Design: a Temporal Logics Approach∗
1. EXTENDED ABSTRACT Contract-based design, first conceived for software specification [7] and now also applied to embedded systems (cfr. e.g., [2, 1]), structures the component properties into contracts. A contract specifies the properties assumed to be satisfied by the component environment (assumptions), and the properties guaranteed by the component in response (guarantees). There are sever...
متن کاملThe FoReVer Contract-Based Approach
The development of complex computer-based systems poses two fundamental challenges. On one side, the architectural decomposition must be complemented by a suitable refinement of the requirements. On the other side, it is fundamental to provide the means for component reuse in order to limit development costs. In this chapter, the authors discuss the approach taken in FoReVeR, a project funded b...
متن کاملPrivacy preservation in location-based advertising: A contract-based approach
Location-based advertising (LBA) is rapidly developing with the surging popularity of mobile devices and the advances in localization techniques. However, many LBA applications aggressively collect users’ location data without providing clear statements on the usage and disclosure strategies of such sensitive information, which raises severe privacy concerns. Existing privacy preservation mecha...
متن کامل"Union Discourse and Perceived Violation of Contract: A Social Contract-Based Approach"
Montréal. Il a pour mission la promotion et la valorisation de la recherche. Érudit offre des services d'édition numérique de documents scientifiques depuis 1998. Note : les règles d'écriture des références bibliographiques peuvent varier selon les différents domaines du savoir. Ce document est protégé par la loi sur le droit d'auteur. L'utilisation des services d'Érudit (y compris la reproduct...
متن کاملA Contract-based Approach to Designing Safe Systems
Architectural based approaches to designing software are motivating changes in the way software is developed for safety-critical systems. These new approaches allow developers to divide system requirements between components and their subcomponents. To allow systems to be designed in this way a component’s obligations to other components and interfaces with the rest of the system must be captur...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Howard Journal of Crime and Justice
سال: 2018
ISSN: 2059-1098
DOI: 10.1111/hojo.12243